-
1 формальный язык
Большой англо-русский и русско-английский словарь > формальный язык
-
2 семантически формальный язык
Большой англо-русский и русско-английский словарь > семантически формальный язык
-
3 formal language
-
4 formal language
-
5 formal language
-
6 formal language
The New English-Russian Dictionary of Radio-electronics > formal language
-
7 formal language
формальный языкEnglish-Russian dictionary of technical terms > formal language
-
8 formal language
-
9 formal language
Англо-русский словарь по исследованиям и ноу-хау > formal language
-
10 formal language
формальный язык
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > formal language
-
11 formal
-
12 formal language
English-Russian big polytechnic dictionary > formal language
-
13 conceptual schema language
язык концептуальной схемы
Формальный язык для описания концептуальной схемы, ее составных частей и действий над ними.
[ ГОСТ 34.320-96]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > conceptual schema language
-
14 formal language
язык, синтаксис и семантика которого заданы в явном виде до его использования. К формальным языкам относятся, в частности, языки программированияAnt:см. тж. programming languageАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > formal language
-
15 abstract syntax notation one
English-Russian dictionary of modern telecommunications > abstract syntax notation one
-
16 formal
1. прил.1)а) общ. официальный, формальный, надлежаще оформленный (выполненный по установленной государством форме, в соответствии с каким-л. законом)formal agreement [notice, protest\] — официальное соглашение [уведомление, официальный протест\]
formal charge — обвинение, предъявленное с соблюдением необходимых формальностей
formal market — официальный рынок, формальный рынок*
See:formal agreement, formal bid, formal contract, formal group, formal institution, formal leader, formal leadership, formal market, formal network, formal organization, formal product, formal recruiting, formal status, formal transferб) общ. формальный ( выполненный по неким установленным в обществе правилам)formal education — образование, полученное в учебном заведении
2) общ. формальный, внешний (относящийся к внешней стороне вопроса, проблемы; относящейся к форме, а не содержанию)See:3) общ. строгий, формальный, правильный, точный, симметричныйformal language — формальный язык (в информатике, математике)
See:4) общ. официальный, торжественный ( о мероприятии); вечерний, парадный (об одежде, предназначенной для торжественных приемов)5) общ. формальный; номинальный ( установленный этикетом)He is always formal with his colleagues. — Он всегда держится с коллегами официально.
Syn:2. сущ.1) общ., амер., разг. официальный прием (мероприятие, на котором участники должны быть в вечерних туалетах)2) мн., общ., амер., разг. = formal dress -
17 formal
1. n амер. разг. мероприятие, на котором участники должны быть в вечерних туалетахformal dress — одежда для торжественных вечерних приёмов; фрак; длинное вечернее платье
2. a выполненный по установленной форме, в соответствии с этикетом; надлежаще оформленныйformal charge — обвинение, предъявленное с соблюдением необходимых формальностей
3. a вечерний; парадный, предназначенный для торжественных приёмовthe etiquette governing the setting of a table for a formal dinner — правила сервировки стола для официального обеда
4. a официальный; сухой5. a формальный, сделанный для проформы6. a формальный, формалистический7. a внешний, поверхностный; кажущийся8. a относящийся к форме; облекающий сущность в определённую форму9. a правильный, симметричный; строго распланированныйСинонимический ряд:1. academic (adj.) academic; conformal; conforming; conformist2. ceremonial (adj.) ceremonial; ceremonious; courtly; decorous; liturgical; orthodox; polite; proper; ritual; sententious; solemn; stately3. conventional (adj.) conventional; customary; prescribed; standard4. definite (adj.) definite; lawful; legal5. dressy (adj.) dressy; fancy-dress; full-dress6. explicit (adj.) explicit; express; official; stodgy; strict7. fixed (adj.) fixed; methodical; regular; rigid; rigorous; rigourous; set8. nominal (adj.) nominal; so-called; titular9. prim (adj.) precise; prim; punctilious; reserved; starched; stiff; stilted; stuffyАнтонимический ряд:casual; comfortable; common; customary; easy; general; habitual; illegal; inadequate; incomplete; incorrect; informal; irregular; normal; ordinary; relaxed; unusual -
18 language
ˈlæŋɡwɪdʒ сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a language ≈ обогащать язык to learn, master a language ≈ учить язык to plan a language ≈ регулировать язык to purify a language ≈ очищать язык (проведение некоторых мер по выведению из языка тех или иных пластов лексики или грамматических форм) to speak (in) a, to use a language ≈ говорить на языке to standardize a language ≈ стандартизировать язык international, world language ≈ международный язык, язык международного общения dead, extinct language ≈ мертвый язык language acquisition ≈ обучение языку language maintenance ≈ поддержание (знания) языка spoken language ≈ разговорный язык written language ≈ письменный язык native language ≈ родной язык foreign language ≈ иностранный язык national language ≈ национальный язык official language ≈ официальный язык second language ≈ второй язык universal language ≈ универсальный язык formal language ≈ язык официального общения idiomatic language ≈ язык, богатый идиомами nontechnical language ≈ нетехнический язык substandard language ≈ язык, не соответствующий языковой норме technical language ≈ технический язык ancient language ≈ древний язык classical language ≈ классический язык creolized language ≈ креолизованный язык living language ≈ живой язык modern language ≈ современный язык natural language ≈ естественный язык trade language ≈ язык торгового общения agglutinative language ≈ агглютинативный язык inflecting language ≈ флективный язык isolating language ≈ изолирующий язык synthetic language ≈ синтетический язык tone language ≈ язык с тоновым ударением б) (как знаковая система) sign language ≈ язык знаков artificial language ≈ искусственный язык finger language ≈ язык жестов, язык глухонемых в) (языковой или литературный стиль;
язык писателя) the language of Shakespeare ≈ язык Шекспира bad, coarse, crude, dirty, foul, nasty, obscene, offensive, unprintable, vile, vulgar language ≈ грубый, грязный, неприличный, оскорбительный, непечатный, вульгарный язык rough, strong, vituperative language ≈ грубый, бранный язык everyday, plain, simple language ≈ простой, повседневный язык flowery language ≈ цветистый язык (богатый метафорами, сравнениями и др. литературными тропами) colloquial, informal language ≈ язык неофициального общения, разговорный язык literary, standard language ≈ литературный язык abusive language ≈ брань, ругательства children's language ≈ детский язык diplomatic language ≈ дипломатический язык polite language ≈ вежливый язык rich language ≈ богатый язык Syn: wording г) (как способ кодирования) object, target language ≈ язык, на который переводят source language ≈ язык, с которого переводят (в машинном переводе) computer language machine language programming language язык - the Russian * русский язык - finger * язык жестов, язык глухонемых - living * живой язык - working * рабочий язык (в международных организациях) - the working *s of this committee are English and Russian рабочими языками этого комитета являются русский и английский - * arts (американизм) обучение чтению, письму, литературе, словесность (школьный предмет) - * shift переключение на другой язык (о говорящем на иностранном языке) - * department отдел переводов (ООН) - a degree in *s диплом об окончании филологического факультета или института иностранных языков - science of * языкознание речь - spoken * разгговорный язык;
устная речь - written * письменость;
письменный язык - articulate * членораздельная речь - literary * литературный язык - substandard * просторечие - he has a great command of * он прекрасно владеет языком, у него прекрасная речь характер языка;
стиль, слог - fine * изысканный язык, цветистый стиль - strong * сильные выражения - bad * сквернословие - * of poetry язык поэзии - business * деловая речь;
язык деловой переписки - * of law юридический язык - diplomatic * дипломатический язык - the * of Shakespeare язык Шекспира (дипломатическое) формулировка( компьютерное) язык программирования ЭВМ > not to speak the same * совершенно не понимать друг друга > they don't speak the same * они говорят на разных языках algorithmic ~ вчт. алгоритмический язык algorithmical ~ вчт. алгоритмическый язык applicative ~ вчт. функциональный язык artifical ~ вчт. искусственный язык artificial ~ вчт. искусственный язык assembler ~ вчт. язык ассемблера assembly ~ вчт. язык ассемблера authoring ~ вчт. язык для автоматизации творческой работы block-structured ~ вчт. язык с блочной структурой boolean-based ~ вчт. язык булевых операторов command ~ вчт. командный язык compiled ~ вчт. транслируемый язык compiler ~ вчт. язык транслятора computer ~ вчт. машинный язык computer-dependent ~ вчт. машинно-зависимый язык computer-oriented ~ вчт. машинно-ориентированный язык computer-sensitive ~ вчт. машинно-зависимый язык constraint ~ вчт. декларативный язык context-free ~ вчт. контекстно-свободный язык conversational ~ вчт. диалоговый язык conversational ~ вчт. язык диалога data definition ~ вчт. язык определения данных data description ~ вчт. язык описания данных data description ~ вчт. язык определения данных data ~ вчт. язык описания данных data manipulation ~ вчт. язык манипулирования данными data-base ~ вчт. язык базы данных data-query ~ вчт. язык запросов declarative ~ вчт. декларативный язык design ~ вчт. язык проектирования end-user ~ вчт. язык конечного пользователя extensible ~ вчт. расширяемый язык ~ язык;
речь;
finger language язык жестов, язык глухонемых foreign ~ иностранный язык formal ~ формальный язык frame ~ вчт. фреймовый язык high-level ~ вчт. язык высокого уровня host ~ вчт. включающий язык human ~ естественный язык language разг. брань (тж. bad language) ;
I won't have any language here прошу не выражаться inflected ~ флективный язык information retrieval ~ информационно- поисковый язык information retrieval ~ информационно-поисковый язык input ~ вчт. входной язык interactive ~ вчт. диалоговый язык interpreted ~ вчт. интерпретируемый язык kernel ~ вчт. базовый язык knowledge representation ~ вчт. язык представления знаний language разг. брань (тж. bad language) ;
I won't have any language here прошу не выражаться ~ стиль;
язык писателя;
the language of Shakespeare язык Шекспира ~ язык ~ язык;
речь;
finger language язык жестов, язык глухонемых ~ стиль;
язык писателя;
the language of Shakespeare язык Шекспира ~ of the case язык судебного делопроизводства legal ~ юридический язык legal ~ язык права low-level ~ вчт. язык низкого уровня machine ~ вчт. машинный язык machine-dependent ~ вчт. машинно-зависимый язык machine-independent ~ вчт. машинно-независимый язык machine-oriented ~ вчт. машинно-ориентрированный язык macro ~ вчт. макроязык macroinstruction ~ вчт. язык макрокоманд memory management ~ вчт. язык управления памятью meta ~ вчт. метаязык minority ~ язык национального меньшинства mnemonic ~ вчт. символический язык national ~ государственный язык native ~ вчт. собственный язык машины natural ~ вчт. естественный язык nonprocedural ~ вчт. непроцедурный язык object ~ вчт. объектный язык official ~ официальный язык original ~ исходный язык parallel ~ вчт. язык параллельного программирования predicate ~ вчт. язык предикатов problem statement ~ вчт. язык постановки задачи problem-oriented ~ вчт. проблемно-ориентированный язык procedural ~ вчт. процедурный язык procedural ~ процедурный язык procedure-oriented ~ вчт. процедурно ориентированный язык production ~ вчт. продукционный язык program ~ вчт. язык программирования programming ~ вчт. язык программирования query ~ вчт. язык запросов register transfer ~ вчт. язык межрегистровых пересылок regular ~ вчт. регулярный язык relational ~ вчт. реляционный язык representation ~ вчт. язык представлений restricted ~ вчт. упрощенная версия языка rule ~ вчт. язык правил rule-based ~ вчт. язык продукционных правил rule-oriented ~ вчт. язык логического программирования script ~ вчт. язык сценариев serial ~ вчт. язык последовательного программирования source ~ вчт. исходный язык source ~ cmp. исходный язык specification ~ вчт. язык спецификаций subset ~ вчт. подмножество языка symbolic ~ вчт. символический язык symbolic ~ comp. символический язык system ~ вчт. системный язык tabular ~ вчт. табличный язык target ~ вчт. выходной язык target ~ выходной язык target ~ объектный язык threaded ~ вчт. язык транслируемый в шитый код typed ~ вчт. широко используемый язык typeless ~ вчт. безтиповый язык unchecked ~ вчт. язык без контроля типов untyped ~ вчт. язык без контроля типов update ~ вчт. язык корректирующих запросов user ~ вчт. язык пользователя world ~ международный языкБольшой англо-русский и русско-английский словарь > language
-
19 language
[ˈlæŋɡwɪdʒ]algorithmic language вчт. алгоритмический язык algorithmical language вчт. алгоритмическый язык applicative language вчт. функциональный язык artifical language вчт. искусственный язык artificial language вчт. искусственный язык assembler language вчт. язык ассемблера assembly language вчт. язык ассемблера authoring language вчт. язык для автоматизации творческой работы block-structured language вчт. язык с блочной структурой boolean-based language вчт. язык булевых операторов command language вчт. командный язык compiled language вчт. транслируемый язык compiler language вчт. язык транслятора computer language вчт. машинный язык computer-dependent language вчт. машинно-зависимый язык computer-oriented language вчт. машинно-ориентированный язык computer-sensitive language вчт. машинно-зависимый язык constraint language вчт. декларативный язык context-free language вчт. контекстно-свободный язык conversational language вчт. диалоговый язык conversational language вчт. язык диалога data definition language вчт. язык определения данных data description language вчт. язык описания данных data description language вчт. язык определения данных data language вчт. язык описания данных data manipulation language вчт. язык манипулирования данными data-base language вчт. язык базы данных data-query language вчт. язык запросов declarative language вчт. декларативный язык design language вчт. язык проектирования end-user language вчт. язык конечного пользователя extensible language вчт. расширяемый язык language язык; речь; finger language язык жестов, язык глухонемых foreign language иностранный язык formal language формальный язык frame language вчт. фреймовый язык high-level language вчт. язык высокого уровня host language вчт. включающий язык human language естественный язык language разг. брань (тж. bad language); I won't have any language here прошу не выражаться inflected language флективный язык information retrieval language информационно- поисковый язык information retrieval language информационно-поисковый язык input language вчт. входной язык interactive language вчт. диалоговый язык interpreted language вчт. интерпретируемый язык kernel language вчт. базовый язык knowledge representation language вчт. язык представления знаний language разг. брань (тж. bad language); I won't have any language here прошу не выражаться language стиль; язык писателя; the language of Shakespeare язык Шекспира language язык language язык; речь; finger language язык жестов, язык глухонемых language стиль; язык писателя; the language of Shakespeare язык Шекспира language of the case язык судебного делопроизводства legal language юридический язык legal language язык права low-level language вчт. язык низкого уровня machine language вчт. машинный язык machine-dependent language вчт. машинно-зависимый язык machine-independent language вчт. машинно-независимый язык machine-oriented language вчт. машинно-ориентрированный язык macro language вчт. макроязык macroinstruction language вчт. язык макрокоманд memory management language вчт. язык управления памятью meta language вчт. метаязык minority language язык национального меньшинства mnemonic language вчт. символический язык national language государственный язык native language вчт. собственный язык машины natural language вчт. естественный язык nonprocedural language вчт. непроцедурный язык object language вчт. объектный язык official language официальный язык original language исходный язык parallel language вчт. язык параллельного программирования predicate language вчт. язык предикатов problem statement language вчт. язык постановки задачи problem-oriented language вчт. проблемно-ориентированный язык procedural language вчт. процедурный язык procedural language процедурный язык procedure-oriented language вчт. процедурно ориентированный язык production language вчт. продукционный язык program language вчт. язык программирования programming language вчт. язык программирования query language вчт. язык запросов register transfer language вчт. язык межрегистровых пересылок regular language вчт. регулярный язык relational language вчт. реляционный язык representation language вчт. язык представлений restricted language вчт. упрощенная версия языка rule language вчт. язык правил rule-based language вчт. язык продукционных правил rule-oriented language вчт. язык логического программирования script language вчт. язык сценариев serial language вчт. язык последовательного программирования source language вчт. исходный язык source language cmp. исходный язык specification language вчт. язык спецификаций subset language вчт. подмножество языка symbolic language вчт. символический язык symbolic language comp. символический язык system language вчт. системный язык tabular language вчт. табличный язык target language вчт. выходной язык target language выходной язык target language объектный язык threaded language вчт. язык транслируемый в шитый код typed language вчт. широко используемый язык typeless language вчт. безтиповый язык unchecked language вчт. язык без контроля типов untyped language вчт. язык без контроля типов update language вчт. язык корректирующих запросов user language вчт. язык пользователя world language международный язык -
20 formal
1. формаль2. формальный
См. также в других словарях:
формальный язык — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN formal language … Справочник технического переводчика
Формальный язык — Не следует путать с формальным стилем речи. В математической логике и информатике формальный язык это множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и … Википедия
ФОРМАЛЬНЫЙ ЯЗЫК, ПРЕДСТАВИМЫЙ МАШИНОЙ — формальный язык, распознаваемый машиной, множество всех тех слов, при работе над к рыми машина попадает в одно из выделенных состояний. Всякое рекурсивно перечислимое множество слов есть формальный язык (ф. я.), представимый нек рой Тьюринга… … Математическая энциклопедия
Формальный язык — то же, что Формализованный язык. Иногда под термином «Ф. я.» понимают также формальную систему (См. Формальная система) … Большая советская энциклопедия
ФОРМАЛЬНЫЙ ЯЗЫК — в математической лингвистике произвольное множество цепочек (т. е. слов )в нек ром (конечном или бесконечном) алфавите V (иногда называемом также словарем), т. е. выражений вида где число k, обычно обозначаемое есть длина цепочки Рассматривается… … Математическая энциклопедия
Язык программирования — искусственный (формальный) язык, предназначенный для записи алгоритмов. Язык программирования задается своим описанием и реализуется в виде специальной программы: компилятора или интерпретатора. По английски: Programming language Синонимы:… … Финансовый словарь
ЯЗЫК ПРОГРАММИРОВАНИЯ — это совокупность набора символов (алфавита) системы, правил образования (синтаксис) и истолкования конструкции из символов (семантика) для задания алгоритмов с использованием символов естественного языка. В самом общем виде формальный язык… … Большая политехническая энциклопедия
язык концептуальной схемы — Формальный язык для описания концептуальной схемы, ее составных частей и действий над ними. [ГОСТ 34.320 96] Тематики базы данных EN conceptual schema language … Справочник технического переводчика
ЯЗЫК ПРОГРАММИРОВАНИЯ — формальный язык для описания данных (информации) и алгоритма (программы) их обработки на ЭВМ. Основу Я. п. составляют алгоритмические языки. Первыми Я. п. были внутренние машинные языки, представляющие собой системы команд конкретной ЭВМ,… … Большой энциклопедический политехнический словарь
формальный синтаксис — 3.4.1 формальный синтаксис: Спецификация точно сформулированных предложений формального языка с применением формальной грамматики. Примечание 1 Формальный язык это машинно ориентированный язык с интерпретированием. Примечание 2 Формальная… … Словарь-справочник терминов нормативно-технической документации
Язык (значения) — Язык: В Викисловаре есть статья «язык» Язык знаковая система для обмена информацией. Естественный язык сформи … Википедия
